Type theory - PDFSEARCH.IO - Document Search Engine

Type theory
Results: 3552

#	Item
961	A Type System for Object Models Jonathan Edwards, Daniel Jackson and Emina Torlak Computer Science & Artiﬁcial Intelligence Laboratory Massachusetts Institute of Technology Cambridge, MA 02139 {jedwards, dnj, emina@mit Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-08-13 19:26:58 Data types Object-oriented programming Model theory Polymorphism Type system Type safety Structure Function overloading C++ classes Software engineering Type theory Computing
962	Activity ReportProject-Team GALLIUM Programming languages, types, compilation and proofs Add to Reading List Source URL: raweb.inria.fr Language: English - Date: 2015-03-19 08:23:41 Functional languages Type theory Logic in computer science Theoretical computer science Formal methods OCaml Coq Type system Formal verification Software engineering Computing Programming language theory
963	Asia Pacific Mathematics Newsletter 1 Using the Finite Simple Groups Using the Finite Simple Groups Add to Reading List Source URL: www.asiapacific-mathnews.com Language: English - Date: 2011-08-04 07:19:33 Finite groups Lie algebras Permutation groups Classification of finite simple groups Simple group Primitive permutation group Permutation Group of Lie type Involution Abstract algebra Algebra Group theory
964	Ornaments in Practice Thomas Williams Pierre-Évariste Dagand Didier Rémy Add to Reading List Source URL: morphis.me Language: English - Date: 2014-05-27 05:17:31 Data types Functional programming Type theory Recursion Functional languages Append Algebraic data type Map Fold Software engineering Computing Computer programming
965	1 Extending String Similarity Join to Tolerant Fuzzy Token Matching* JIANNAN WANG, GUOLIANG LI, and JIANHUA FENG Tsinghua University String similarity join that finds similar string pairs between two string sets is an e Add to Reading List Source URL: dbgroup.cs.tsinghua.edu.cn Language: English - Date: 2013-12-23 20:29:19 String metric Statistics Type–token distinction Jaccard index Software engineering Cosine similarity Lexical analysis Information science Measure theory Information retrieval
966	MITFallLecture 3 c W.C Carter Add to Reading List Source URL: pruffle.mit.edu Language: English - Date: 2012-09-05 10:03:01 Type theory Cross-platform software Procedural programming languages Data types Pattern matching Assignment Variable Function Static single assignment form Software engineering Computing Mathematics
967	Activity ReportProject-Team GALLIUM Programming languages, types, compilation and proofs Add to Reading List Source URL: raweb.inria.fr Language: English - Date: 2012-03-09 11:37:19 Functional languages Type theory Logic in computer science Procedural programming languages Formal methods OCaml Type system Coq ML Software engineering Computing Programming language theory
968	Towards Dependable Data Repairing with Fixing Rules ⇤ Jiannan Wang UC Berkeley Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2014-05-06 17:40:22 Mathematical notation Tuple Type theory Data quality Data Chase Finitary relation Mathematics Information Data management
969	ASN1C Support for Information Objects and Parameterized Types Objective Systems, Inc., April 2002 Add to Reading List Source URL: www.obj-sys.com Language: English - Date: 2004-07-07 00:00:00 Cross-platform software Type theory Data types Information Object Class Abstract Syntax Notation One Type safety C Pointer Type system Computing Software engineering Computer programming
970	Superconductivity by Joe Khachan and Stephen Bosi The discovery of superconductors The phenomenon of superconductivity, in which the electrical resistance of certain materials completely Add to Reading List Source URL: www.physics.usyd.edu.au Language: English - Date: 2010-11-21 09:28:49 Condensed matter physics Type-I superconductor High-temperature superconductivity Type-II superconductor Meissner effect Flux pinning BCS theory Superconducting magnet Superconducting wire Physics Superconductivity Electromagnetism

UPDATE